Math'φsics
Acceuil
Maths
Physique
Maths
Physique
Quantificateur existentiel
Formulaire de report
Problème d'affichage
Contenu de la note peu pertinent
Définition
\(\exists\) est appelé "quantificateur existentiel"
L'assertion \(\exists x,A(x)\) est vraie si et seulement s'il existe un objet \(x\) tq \(A(x)\) est vraie
(
Disjonction
)
Formules
Négation
Négation
: $${{\lnot(\exists x,A(x))}}\iff{{(\forall x,\lnot A(x)}})$$
Interprétation
$${{[\![\exists x.\varphi,\nu]\!]}}={{\max\{[\![\varphi,\nu[x=d]]\!]\mid d\in\mathcal D\} }}$$
(
Fonction maximum
)
Rétroliens :
Union - Réunion